Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms

We introduce a new programming language for expressing reversibility, Energy-Efficient Language (Eel), geared toward algorithm design and implementation. Eel is the first language to take advantage of a partially reversible computation model, where programs can be composed of both reversible and irreversible operations. In this model, irreversible operations cost energy for every bit of information created or destroyed. To handle programs of varying degrees of reversibility, Eel supports a log stack to automatically trade energy costs for space costs, and introduces many powerful control logic operators including protected conditional, general conditional, protected loops, and general loops. In this paper, we present the design and compiler for the three language levels of Eel along with an interpreter to simulate and annotate incurred energy costs of a program.Comment: 17 pages, 0 additional figures, pre-print to be published in The 8th Conference on Reversible Computing (RC2016

First-principles investigation of spin polarized conductance in atomic carbon wire

We analyze spin-dependent energetics and conductance for one dimensional (1D) atomic carbon wires consisting of terminal magnetic (Co) and interior nonmagnetic (C) atoms sandwiched between gold electrodes, obtained employing first-principles gradient corrected density functional theory and Landauer's formalism for conductance. Wires containing an even number of interior carbon atoms are found to be acetylenic with sigma-pi bonding patterns, while cumulene structures are seen in wires containing odd number of interior carbon atoms, as a result of strong pi-conjugation. Ground states of carbon wires containing up to 13 C atoms are found to have anti-parallel spin configurations of the two terminal Co atoms, while the 14 C wire has a parallel Co spin configuration in the ground state. The stability of the anti-ferromagnetic state in the wires is ascribed to a super-exchange effect. For the cumulenic wires this effect is constant for all wire lengths. For the acetylenic wires, the super-exchange effect diminishes as the wire length increases, going to zero for the atomic wire containing 14 carbon atoms. Conductance calculations at the zero bias limit show spin-valve behavior, with the parallel Co spin configuration state giving higher conductance than the corresponding anti-parallel state, and a non-monotonic variation of conductance with the length of the wires for both spin configurations.Comment: revtex, 6 pages, 5 figure

The search rate of the African weaver ant in cashew

Oecophylla longinoda is a species of eusocial colony living ants that prey upon other insects to feed their larva. Many of these insects are considered pests. An ecosystem model of the interactions between an O. longinoda colony and its potential prey is under construction by the team behind this article, and it is unknown which functional response equations are useful for eusocial insect colonies. We investigated the search rate of O. longinoda using artificial feeding experiments in a Tanzanian cashew (Anacardium occidentale L.) orchard to determine the search efficiency of the ants, and to assess which functional response equation can be used for eusocial insects. Artificial feeding experiments consisted of providing each of ten colonies 50 pieces of sardine (175 mg dry weight in average) in cashew trees at time 0 and counting the remaining food items at four intervals of 45 minutes during a seven day period. The equations of Gutierrez-Baumgärtner, Lotka-Volterra, and Nicholson-Bailey were assessed and the Nicholson-Bailey equation was found to be most suitable. The Gutierrez-Baumgärtner equation is useful if the demand for storage can be assessed. A large variation in search rates was found between the observed colonies and this problem is discussed in relation to Oecophylla sp. efficacy as a biological control agent

Cost and Capacity of Signaling in the Escherichia coli Protein Reaction Network

In systems biology new ways are required to analyze the large amount of existing data on regulation of cellular processes. Recent work can be roughly classified into either dynamical models of well-described subsystems, or coarse-grained descriptions of the topology of the molecular networks at the scale of the whole organism. In order to bridge these two disparate approaches one needs to develop simplified descriptions of dynamics and topological measures which address the propagation of signals in molecular networks. Here, we consider the directed network of protein regulation in E. coli, characterizing its modularity in terms of its potential to transmit signals. We demonstrate that the simplest measure based on identifying sub-networks of strong components, within which each node could send a signal to every other node, indeed partitions the network into functional modules. We then suggest measures to quantify the cost and spread associated with sending a signal between any particular pair of proteins. Thereby, we address the signalling specificity within and between modules, and show that in the regulation of E.coli there is a systematic reduction of the cost and spread for signals traveling over more than two intermediate reactions.Comment: 21 pages, 6 figure

Statistics poster competitions: an opportunity to connect academics and teachers

The Australian Statistics Competition (ASC) was a national statistics poster competition that ran from 2006 to 2016. One of the aims of the ASC was to create connections between academics and teachers. In this paper, we report a study that investigated the experience of the organisers of this competition. We administered a written survey and conducted semistructured interviews with the organisers by a semi-structured protocol, with the aim of exploring the experience of the ASC organisers (the academics) in relation to connecting with teachers. We found geographical, intrinsic, organisational and personnel barriers to continuing connections between academics and teachers. We provide a list of recommendations for those involved in, or planning on starting, a similar competition

Unequally egalitarian? Defending the credentials of social egalitarianism

In his new book, Luck Egalitarianism, Kasper Lippert-Rasmussen responds to challenges raised by social egalitarians against luck egalitarianism. Social egalitarianism is the view according to which a just society is one where people relate to each other as equals, while the basic premise of luck egalitarianism is that it is unfair if people are worse-off than others through no fault or choice of their own. Lippert-Rasmussen argues that the most important objections to luck egalitarianism made by social egalitarians can either be largely accommodated by luck egalitarians or lack the argumentative force that its proponents believe them to have. While Lippert-Rasmussen does offer a version of luck egalitarianism that seems to avoid some of the main lines of criticism, he mischaracterizes parts of both the form and the content of the disagreement, and thus ultimately misses the mark. In this paper, we provide a substantive, a methodological and a political defense of social egalitarianism by elaborating on this mischaracterization. More work must be done, we argue, if social egalitarianism is to be dismissed and its concerns genuinely incorporated in the luck egalitarian framework. Until this is done, the supposed theoretical superiority of luck egalitarianism remains contested

Formulation of the Dutch Atmospheric Large-Eddy Simulation (DALES) and Overview of Its Applications

The current version of the Dutch Atmospheric Large-Eddy Simulation (DALES) is presented. DALES is a large-eddy simulation code designed for studies of the physics of the atmospheric boundary layer, including convective and stable boundary layers as well as cloudy boundary layers. In addition, DALES can be used for studies of more specific cases, such as flow over sloping or heterogeneous terrain, and dispersion of inert and chemically active species. This paper contains an extensive description of the physical and numerical formulation of the code, and gives an overview of its applications and accomplishments in recent years